Советский философский словарь - непредикативное определение
Связанные словари
Непредикативное определение
непредикативное определение
определение, в к-ром определяемое вводится через нек-рое его отношение ко всем объектам класса, одним из элементов к-рого мыслится и само определяемое. В Н. о. часть (элемент) определяется через целое (множество), мыслимое раньше всех его частей, что порождает ситуацию «порочного круга», к-рая может (хотя и не всегда) приводить к противоречиям. Напр., Н. о. «множества всех множеств, не являющихся элементами самих себя», приводит к т. н. парадоксу Рассела. Непредикативное образование понятий свойственно и др. известным парадоксам. Некорректность Н. о. побудила А. Пуанкаре, Б. Рассела (к-рому принадлежит термин « Н. о.»), Г. Вейля, а вслед за ними и др. учёных считать Н. о. принципиально недопустимыми в науке. Однако ввиду трудностей, связанных с абс. устранением Н. о., последние широко используются в классич. математич. анализе, не говоря уже о гуманитарных дисциплинах. При возможности эффективного исключения определяемого объекта и, т. о., выхода из порочного круга непредикативность является только кажущейся. Вообще, если все объекты класса, подразумеваемого в определяющем (следовательно, и самый класс), даны или могут быть получены независимо от Н. о. к.-л. из них, то Н. о. по существу безвредно. В этом случае непредикативный процесс введения определяемого не может повлиять на смысл определяющего. Напр., в предположении, что данные историч. источников объективно информируют о всех учениках платоновской Академии, понятие об Аристотеле без осложнений можно ввести посредством Н. о., сказав, что это самый мудрый ученик Платона (известно, что и Платон называл Аристотеля «умом» Академии).
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: "Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число, которое больше любого числа этого множества". В этом определении Dfd ("верхняя граница множества действительных чисел"), т. е. определяемое, включается в множество действительных чисел Dfn как самое большое число этого множества определяющее и тем самым участвует в формировании этого множества. Такие определения должны рассматриваться как определения с "порочным кругом": Dfd определяется в них через Dfn, куда включается Dfd. Тем не менее они используются в науке. В целях "оправдания" они особым образом интерпретируются. Одним из таких "оправданий" является предложенная Б. Расселом аксиома сводимости, согласно которой для Н. о. должны существовать иные способы задания множеств, в которые определяемый объект включается в качестве элемента независимо от его определения. Так, согласно Б. Расселу, приведенное выше определение является правильным, поскольку множество действительных...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1742 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 759 | |
11 | 753 | |
12 | 733 | |
13 | 702 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 656 | |
19 | 650 | |
20 | 631 |